变换微积分
In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。
英语网 · 双语娱乐资讯
英语网 · 英语口语
英语网 · 双语新闻